differential pump - German English Dictionary